Functional verification - PDFSEARCH.IO - Document Search Engine

Functional verification
Results: 142

#	Item
71	Electrical Verification of the HP PA 8000 Processor Electrical verification applies techniques from both functional verification and reliability and environmental testing to improve the quality of the CPU. Electrical ver Add to Reading List Source URL: davefaq.com Language: English - Date: 2000-08-22 08:44:34 Engineering Software testing Design for X Electrical engineering Shmoo plot Reliability engineering Shmoo Failure causes Debugging Failure Technology Systems engineering
72	Alt-Ergo An SMT Solver for Software Verification Mohamed Iguernelala — OCamlPro SAS About ... Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2015-02-05 02:10:20 Functional languages Constraint programming Logic in computer science Electronic design automation Satisfiability Modulo Theories OCaml Automated theorem proving Coq Uclid Theoretical computer science Software Formal methods
73	Towards a Fully Verified File System Sidney Amani, Leonid Ryzhyk, Toby Murray Proving the functional correctness of a realistic file system implementation Motivation Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:09:43 Decomposition Software design Formal specification Technology Correctness Specification Verification Formal verification Formal methods Theoretical computer science Applied mathematics
74	Activity Report[removed]Project-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-01-26 04:10:29 Functional languages Type theory Logic in computer science Theoretical computer science Formal methods OCaml Coq Type system Formal verification Software engineering Computing Programming language theory
75	Methods and Tools for the Verification of Critical Properties Roger Bishop Jones International Computers Limited, Eskdale Road, Winnersh, Berks, England, RG11 5TT. Phone: +[removed], E-mail: [removed] Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2004-04-12 08:34:15 Theoretical computer science Logic in computer science Specification language Z notation Computer security Formal specification Specification HOL Functional specification Software development Formal methods Computing
76	Microsoft Word - HMI_Instrument_SRR_Agenda_v2.doc Add to Reading List Source URL: hmi.stanford.edu Language: English - Date: 2003-03-18 12:47:14 Space science Lockheed Martin Solar and Astrophysics Laboratory System requirements Quality assurance Technology Spacecraft Requirement Functional requirement Verification Systems engineering Software requirements Space
77	Methods and Tools for the Verification of Critical Properties Roger Bishop Jones International Computers Limited, Eskdale Road, Winnersh, Berks, England, RG11 5TT. Phone: +[removed], E-mail: [removed] Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:55 Theoretical computer science Logic in computer science Specification language Z notation Computer security Formal specification Specification HOL Functional specification Software development Formal methods Computing
78	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein HOL Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Lambda calculus Formal methods Predicate logic Functional languages Fixed-point combinator Id First-order logic Simply typed lambda calculus Isabelle Mathematical logic Logic Theoretical computer science
79	IAEA Services Series No. 6 ESRS guidelines for software safety reviews Reference document for the organization and conduct of Engineering Safety Review Services (ESRS) on Add to Reading List Source URL: www-pub.iaea.org Language: English - Date: 2004-11-26 08:50:28 Science Software development process Validation Reliability engineering Software testing Verification and validation Requirement Functional specification Verification Systems engineering Software development Systems science
80	Qualification Support Kit The Qualification Support Kit provides the specification of the functional requirements of AbsInt tools in their operational context as well as a set of test cases showing the correct implementa Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:30 Safety Electronics Computing Technology Software testing DO-178B DO-178C Verification Requirement Software requirements Avionics Embedded systems

UPDATE